Quadratic equations in hyperbolic groups are NP-complete
نویسندگان
چکیده
منابع مشابه
On equations in relatively hyperbolic groups
We investigate the problem of deciding the Diophantine theory (resp. the existential first order theory), of some torsion free relatively hyperbolic group (i.e. the problems of satisfiability of finite systems of equations (resp. of equations and inequations) with coefficients). We give a positive answer to the second problem when the parabolic subgroups are abelian, and to the first problem, m...
متن کاملSpiral Galaxies Puzzles are NP-complete
We will show that the question of whether or not a given Spiral Galaxies puzzle has a solution is NP-complete. To do so, we construct Spiral Galaxies puzzles which correspond to arbitrary Boolean circuits. A circuit will be satisfied, (that is, have a set of inputs which give the desired outputs) if and only if the corresponding puzzle has a solution. Since Satisfiability is the canonical NP-co...
متن کاملSelected Slither Link Variants are NP-complete
In a Slither Link puzzle, the player must draw a cycle in a planar graph, such that the number of edges incident to a set of clue faces equals the set of given clue values. We show that for a number of commonly played graph classes, the Slither Link puzzle is NP-complete.
متن کاملComplete Groups Are Complete Co-analytic
The set of complete groups is a complete co-analytic subset of the standard Borel space of countably infinite groups.
متن کاملRelatively hyperbolic groups are C ∗ - simple ✩
We characterize relatively hyperbolic groups whose reduced C∗-algebra is simple as those, which have no non-trivial finite normal subgroups. © 2006 Elsevier Inc. All rights reserved.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 2017
ISSN: 0002-9947,1088-6850
DOI: 10.1090/tran/6829